axiomatic semantics
[網(wǎng)絡(luò)] 公理語義；公理型語義；公理化語義
熱門查詢
- ribosome n. [細(xì)胞][生化] 核糖體；[生化] 核蛋白體
- evidently adv. 顯然，明顯地；清楚地
- rima n. 裂縫；細(xì)長口 n. (Rima)人名；(英、意、阿拉伯)里馬
- masterwork n. 杰作；名著
- waterworks n. 自來水廠；供水系統(tǒng)；噴泉；眼淚
- croaker n. 嘎聲的人；喊冤者，鳴冤者
- Minto n. 明妥薄荷糖
- Wolff [人名] 沃爾夫
- hangar n. 飛機(jī)庫；飛機(jī)棚
- diploid n. [遺] 二倍體；倍數(shù)染色體 adj. 雙倍的；倍數(shù)的；雙重的
- porousness n. [物] 多孔性；孔隙率
- glowing adj. 灼熱的；熱情洋溢的；鮮艷的 v. 發(fā)光；容光煥發(fā)（glow的ing形式）；發(fā)熱
- Dodgson 道奇森(姓氏)
- Vere [男子名] [英格蘭人姓氏] 維爾住所名稱，來源于高盧語，含義是“榿木”(alder)
- rio n. 里約（巴西共和國的舊首都）
- yellowish adj. 微黃色的，淡黃色的
- kirkman n. 蘇格蘭教會會員
- breading vt. 在…外面裹上面包屑（bread的ing形式）
- rehydrate vt. 再水化
- WMC abbr. War Manpower Commission <美>戰(zhàn)時人力委員會
